The following patch provides x86_64 SMP support for xen linux. Many,

The following patch provides x86_64 SMP support for xen linux.  Many,
many thanks to the help for bug fixes, cleanups, good domU support,
and more from Jun and Xin.  I've tested this on a couple different
machines, and made sure the UP build still boots and works.  dom0 and
domU smp both work.  There's still some cleanups to do, but we'd prefer
to do the last bit in tree.  This doesn't update defconfigs just yet.
That'll be a follow-on patch shortly, so for now, you'll have to manually
enable CONFIG_SMP if you'd like to test.

Signed-off-by: Chris Wright <chrisw@osdl.org>
Signed-off-by: Xin Li <xin.b.li@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>